Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (4) | Журнали та продовжувані видання (4) | Реферативна база даних (16) | Авторитетний файл імен осіб (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Овсяк В$<.>) | |||
|
Загальна кількість знайдених документів : 11 Представлено документи з 1 до 11 |
|||
| 1. | 
Овсяк В. Загальна модель редактора графічних унітермів [Електронний ресурс] / В. Овсяк, М. Козелко // Вісник Тернопільського національного технічного університету. - 2013. - № 1. - С. 183-191. - Режим доступу: http://nbuv.gov.ua/UJRN/tstub_2013_1_23 | ||
| 2. | 
Кулик С. О. Моделі підсистем інструментальних засобів комп’ютерного генерування баз даних з формул алгоритмів [Електронний ресурс] / С. О. Кулик, В. К. Овсяк // Поліграфія і видавнича справа. - 2012. - № 3. - С. 38-42. - Режим доступу: http://nbuv.gov.ua/UJRN/Pivs_2012_3_8 Описано моделі підсистем конструктора та глобальних змінних декомпозованої моделі інструментальних засобів комп'ютерного синтезу завдань на генерування баз даних з формул алгебри алгоритмів. | ||
| 3. |
Овсяк О. В. Несуперечність алгебри секвенційних алгоритмів [Електронний ресурс] / О. В. Овсяк, В. К. Овсяк, Ю. В. Петрушка // Поліграфія і видавнича справа. - 2012. - № 4. - С. 60-64. - Режим доступу: http://nbuv.gov.ua/UJRN/Pivs_2012_4_12 Несуперечність алгебри секвенційних алгоритмів, за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій алгебри секвенційних алгоритмів до операцій несуперечної логіки предикатів.Несуперечність алгебри секвенційних алгоритмів (АСА), за умов логічних значень змінних і функціональних змінних і наявності тільки одного індексу порядку, доведено зведенням операцій АСА до операцій несуперечної логіки предикатів. | ||
| 4. | 
Драґан Я. Моделі схем реляційних баз даних, поданих модифікованою алґеброю алгоритмів [Електронний ресурс] / Я. Драґан, С. Кулик, В. Овсяк, О. Овсяк // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 237-244. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_36 | ||
| 5. | 
Кулик С. Модель графічної частини інформаційної технології візуального створювання опису обєктів реляційної моделі [Електронний ресурс] / С. Кулик, В. Овсяк // Квалілогія книги. - 2011. - № 2. - С. 16-35. - Режим доступу: http://nbuv.gov.ua/UJRN/Kk_2011_2_4 | ||
| 6. |
Кулик С. О. Опис операцій реляційної алгебри засобами алгебри алгоритмів [Електронний ресурс] / С. О. Кулик, В. К. Овсяк // Поліграфія і видавнича справа. - 2010. - № 1. - С. 68-80. - Режим доступу: http://nbuv.gov.ua/UJRN/Pivs_2010_1_10 Розглянуто задачу опису операцій реляційної алгебри засобами алгебри алгоритмів. Розроблено систему позначень допоміжних операторів та операцій. | ||
| 7. |
Овсяк В. К. Елементи мови предметних унітермів [Електронний ресурс] / В. К. Овсяк, О. В. Овсяк, А. С. Василюк // Квалілогія книги. - 2009. - № 2. - С. 4-9. - Режим доступу: http://nbuv.gov.ua/UJRN/Kk_2009_2_3 | ||
| 8. |
Кулик С. О. Опис структурної частини реляційної моделі баз даних засобами алгебри алгоритмів [Електронний ресурс] / С. О. Кулик, В. К. Овсяк // Квалілогія книги. - 2009. - № 2. - С. 51-59. - Режим доступу: http://nbuv.gov.ua/UJRN/Kk_2009_2_10 | ||
| 9. | 
Овсяк А. В. Модифицированная алгебра алгоритмов и инструментальные средства обработки формул алгебры алгоритмов [Електронний ресурс] / А. В. Овсяк, В. К. Овсяк // Управляющие системы и машины. - 2013. - № 1. - С. 27-36. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_1_4 Для решения задач повышения эффективности обработки структур данных и формул алгоритмов аксиоматическим методом определены алгебры секвенционных алгоритмов первого и второго порядков, использование которых показано на примерах. Описаны эффективные инструментальные средства компьютерного синтеза и оптимизации формул алгоритмов. | ||
| 10. | 
Овсяк В. К. Аналіз впорядкованості значень у формулі математичної індукції [Електронний ресурс] / В. К. Овсяк, О. В. Овсяк, Ю. В. Петрушка // Комп’ютерні технології друкарства. - 2016. - № 2. - С. 57-65. - Режим доступу: http://nbuv.gov.ua/UJRN/Ktd_2016_2_8 | ||
| 11. | 
Овсяк В. К. Впорядкування та впорядковування у дискретній математиці та інформатиці [Електронний ресурс] / В. К. Овсяк, О. В. Овсяк, Ю. В. Петрушка // Ukrainian Journal of Information Technology. - 2021. - Vol. 3, Nr. 1. - С. 37-43. - Режим доступу: http://nbuv.gov.ua/UJRN/ukjit_2021_3_1_8 | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |